Computer algebra system - PDFSEARCH.IO - Document Search Engine

Computer algebra system
Results: 376

#	Item
91	Intel Parallel Computing Center The Innovative Computing Laboratory The University of Tennessee, Knoxville MAGMA MIC 1.3 Release Add to Reading List Source URL: icl.eecs.utk.edu Language: English - Date: 2014-11-15 17:18:37 Mathematics Mathematical software Basic Linear Algebra Subprograms LAPACK Math Kernel Library PBLAS Magma computer algebra system LINPACK Computational science Numerical software Numerical analysis Numerical linear algebra
92	Fast Mapping using the Log-Hough Transformation B. Giesler, R. Graf, R. Dillmann Institute for Process Control and Robotics (IPR) University of Karlsruhe DKarlsruhe, Germany Add to Reading List Source URL: www.lira.dist.unige.it Language: English - Date: 2011-12-07 18:07:15 Coordinate systems Algebra Image processing Computer vision Hough transform Vector calculus Polar coordinate system Cartesian coordinate system Hough Mathematics Geometry Analytic geometry
93	On-Line Computer Graphics Notes DEVICE SPACE Kenneth I. Joy Visualization and Graphics Research Group Department of Computer Science Add to Reading List Source URL: graphics.idav.ucdavis.edu Language: English - Date: 2009-09-23 12:58:14 Analytic geometry Elementary mathematics 3D computer graphics Linear algebra Computer graphics Coordinate system Pixel Z-buffering Unit vector Mathematics Algebra Geometry
94	Contents I Table of Contents Part I Contents Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:43 Software Computing Microsoft Excel Spreadsheet Mathematical modeling Mathematical optimization AMPL XLS General Algebraic Modeling System Computer algebra systems Operations research Mathematical software
95	Feature Article Orthogonal-Blendshape-Based Editing System for Facial Motion Capture Data Qing Li and Zhigang Deng ■ University of Houston Add to Reading List Source URL: graphics.cs.uh.edu Language: English - Date: 2012-10-19 16:56:19 Visual arts Mathematics Face recognition 3D computer graphics Multivariate statistics Computer facial animation Motion capture Principal component analysis Facial motion capture Algebra Computer animation Singular value decomposition
96	2 A GAMS Tutorial 2.1 by Richard E. Rosenthal Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:14 Software engineering Mathematical optimization Mathematical modeling General Algebraic Modeling System AMPL Algebraic modeling language Assignment Linear programming Variable Mathematics Operations research Computer algebra systems
97	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science
98	Feature Tracking and Optical Flow Computer Vision CS 143, Brown James Hays Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-10-04 14:01:17 Numerical linear algebra Equations Epipolar geometry Fundamental matrix Singular value decomposition System of linear equations Ordinary differential equation Simultaneous equations Triangulation Algebra Mathematics Linear algebra
99	SCRIPTA MANENT ...written words endure Publishing Computational Mathematics Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-12-15 12:45:30 Applied mathematics Computer algebra Axiom Algorithm Risch algorithm Computational mathematics Computer algebra system Algorithm characterizations Mathematics Software Theoretical computer science
100	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference

UPDATE